21![Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/275b93b15cf7e9fdf023ac6ff2c8bd00.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:59
|
---|
22![Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view](https://www.pdfsearch.io/img/0087cf4377de62f7807e38372780c05e.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2011-03-20 04:03:38
|
---|
23![Rain Classroom Manual
Part 1 Prepare Work
FOR TEACHERS ■Computer: WindowsXP SP3、Windows7 or more advanced versions Rain Classroom Manual
Part 1 Prepare Work
FOR TEACHERS ■Computer: WindowsXP SP3、Windows7 or more advanced versions](https://www.pdfsearch.io/img/ce770b927351d3e495ef99bd5455326c.jpg) | Add to Reading ListSource URL: qn-s0.yuketang.cnLanguage: English - Date: 2018-03-20 23:28:08
|
---|
24![Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club e.V. NETTER PC, DEN NEHMEN WIR! Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club e.V. NETTER PC, DEN NEHMEN WIR!](https://www.pdfsearch.io/img/5e4fc11f536582b5a96b8eea9962947c.jpg) | Add to Reading ListSource URL: ds.ccc.deLanguage: German - Date: 2006-03-14 18:33:10
|
---|
25![Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi](https://www.pdfsearch.io/img/ed439e59e99bc0a188145a82580ba0a6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-06-22 09:34:32
|
---|
26![Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007 Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007](https://www.pdfsearch.io/img/d47df21c8c27f2b927b8809e050b7481.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2016-07-22 17:55:15
|
---|
27![Published as a conference paper at ICLRM AKING N EURAL P ROGRAMMING A RCHITECTURES G ENERALIZE VIA R ECURSION Jonathon Cai, Richard Shin, Dawn Song Department of Computer Science Published as a conference paper at ICLRM AKING N EURAL P ROGRAMMING A RCHITECTURES G ENERALIZE VIA R ECURSION Jonathon Cai, Richard Shin, Dawn Song Department of Computer Science](https://www.pdfsearch.io/img/7df1944c705e552a17e5b2d9b316a6f3.jpg) | Add to Reading ListSource URL: people.eecs.berkeley.eduLanguage: English - Date: 2017-03-10 19:56:16
|
---|
28![Reading Wikipedia to Answer Open-Domain Questions Adam Fisch, Jason Weston & Antoine Bordes Danqi Chen∗ Facebook AI Research Computer Science 770 Broadway Reading Wikipedia to Answer Open-Domain Questions Adam Fisch, Jason Weston & Antoine Bordes Danqi Chen∗ Facebook AI Research Computer Science 770 Broadway](https://www.pdfsearch.io/img/2c500889ae392df85024cbd3b7789cec.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2017-04-30 21:08:35
|
---|
29![die datenschleuder. das wissenschaftliche fachblatt für datenreisende ein organ des chaos computer club T-Com macht’s möglich die datenschleuder. das wissenschaftliche fachblatt für datenreisende ein organ des chaos computer club T-Com macht’s möglich](https://www.pdfsearch.io/img/8440fa9d241f98e5670bf1b24e45a5b4.jpg) | Add to Reading ListSource URL: ds.ccc.deLanguage: German - Date: 2006-03-14 18:33:00
|
---|
30![Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr](https://www.pdfsearch.io/img/41c1ec7e8565e85c96e59d5fae2c9c5a.jpg) | Add to Reading ListSource URL: users.cecs.anu.edu.auLanguage: English - Date: 2018-07-07 12:35:35
|
---|